DVIprint<#46#><#46#> kann sowohl von Workbench als auch von CLI aus aufgerufen werden. Da die Tooltypes, die im Info-File angegeben werden koennen, den Optionen, die man von CLI aus angeben kann, entsprechen, wird zuerst der Start von CLI aus beschrieben.